1. A Concise Introduction to Mathematical Logic
پدیدآورنده : by Wolfgang Rautenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
3. A first course in fuzzy logic /
پدیدآورنده : Hung T. Nguyen, Carol L. Walker, Elbert A. Walker.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy logic.,Neural networks (Computer science),Fuzzy logic.,MATHEMATICS / General.,Neural networks (Computer science)
رده :
QA76
.
87
.
N497
2019eb
4. Alan Turing :
پدیدآورنده : edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
5. Alan Turing : his work and impact
پدیدآورنده : Cooper, S. B. )S. Barry(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8
C65
2013
6. Alan Turing : his work and impact
پدیدآورنده : Cooper, S. Barry, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8C66
7. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده : Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
8. Applied logic for computer scientists : computational deduction and formal proofs
پدیدآورنده : Ayala-Rincon, Mauricio
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer logic,، Computer science -- Mathematics
رده :
QA
76
.
9
.
L63A92
9. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
10. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
11. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
12. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
13. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
14. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
15. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
16. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
17. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
18. Computation engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;
19. Computation, logic, philosophy
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer science- Mathematics,Logic, Symbolic and mathematical
20. Computation, logic, philosophy : a collection of essays
پدیدآورنده : Wang, Hao
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W35
1990
